退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过标记的序列证明搜索命题抽象分离逻辑
Ranald Clouston; Alwen Tiu;
机译:通过标注的序列证明进行命题抽象分离逻辑的证明搜索
机译:通过带标签的序列来证明介词抽象分离逻辑的证明搜索
机译:用于抽象分离逻辑的模块标记顺序演算
机译:具有标注顺序的双直觉命题逻辑的证明搜索和反模型构造
机译:命题证明复杂性的新分离。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:通过标记证明搜索命题抽象分离逻辑 sequents
机译:正态模态命题逻辑的后续计算
机译:附属于抗震特性改进提案装置和修改提案
机译:特定于交易策略过程对象的观点的抽象逻辑系统,计算机的中间腿。分离特定逻辑观点的逻辑观点的方法,应用程序编程接口的通用集。在vdeecdeo中提供和从一组输入数据中进行选择,以及。该系统执行针对单个交易事件的特定于一个或多个不同上下文的上下文交易过程准则的处理
机译:基于与搜索结果摘要有关的用户反馈的增强搜索结果
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。